step(bs,al,tm(s,[ctxm(xi_,sp,ip,ip_bs,ip_bs),ctxm(xi_,u,ip,ip_al_4,ip_al_4)],pri(lst,[pri(lst,[pri(lst,[ctxm(xi_,sp,id,id_bs,id_bs),pri(pk,[ctxm(xi_,sp,kM,kM_bs,kM_bs)]),ctxm(xi_,dot,n_sp,in_bs,cn_bs)]),pri(sig,[pri(lst,[ctxm(xi_,sp,id,id_bs,id_bs),pri(pk,[ctxm(xi_,sp,kM,kM_bs,kM_bs)]),ctxm(xi_,dot,n_sp,in_bs,cn_bs)]),ctxm(xi_,ca,kM,kM_ca,kM_ca)])]),ctxm(xi_,dot,n_b,ss(xi_,i_n_b),ss(xi_,c_n_b))]))).
